This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers...
详细信息
ISBN:
(数字)9783540857785
ISBN:
(纸本)9783540857778
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. ...
详细信息
ISBN:
(数字)9783709174913
ISBN:
(纸本)9783211829004
Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.
The aim of the book is to represent a new object-oriented methodology called Tabular Application Development (TAD). The book is designed to approach the subject of Business Process Reengineering and Information System...
详细信息
ISBN:
(数字)9781461300953
ISBN:
(纸本)9780387950952;9781461265238
The aim of the book is to represent a new object-oriented methodology called Tabular Application Development (TAD). The book is designed to approach the subject of Business Process Reengineering and Information Systems Development from a new prospective, which is unique to this methodology. TAD methodology has six phases and develops the information system using several tables. The concept of the methodology discussed first translates the information about the behavior of the system into different tables and then uses the information collected in the tables to develop the information system. In addition to this, the methodology covers Business Process Reengineering. In recent years BPR became a very important way of assuring changes in an organization's structure and functioning to create a better, more competitive and successful enterprise. The book is organized in three parts: introduction, methodology, and applications/case studies.
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which th...
详细信息
ISBN:
(数字)9783642027345
ISBN:
(纸本)9783642027338
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.
LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14–18 in Trento, Italy. The LION series of conferences provides a platform for researchers who are interest...
详细信息
ISBN:
(数字)9783642111693
ISBN:
(纸本)9783642111686
LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14–18 in Trento, Italy. The LION series of conferences provides a platform for researchers who are interested in the int- section of e?cient optimization techniques and learning. It is aimed at exploring the boundaries and uncharted territories between machine learning, arti?cial intelligence, mathematical programming and algorithms for hard optimization problems. The considerable interest in the topics covered by LION was re?ected by the overwhelming number of 86 submissions, which almost doubled the 48 subm- sions received for LION’s second edition in December 2007. As in the ?rst two editions, the submissions to LION 3 could be in three formats: (a) original novel and unpublished work for publication in the post-conference proceedings, (b) extended abstracts of work-in-progressor a position statement, and (c) recently submitted or published journal articles for oral presentations. The 86 subm- sions received include 72, ten, and four articles for categories (a), (b), and (c), respectively.
This volume contains a selection of papers presented at thethird European Computer Aided Systems Theory workshop,EUROCAST '93, held in Spain in February 1993. The workshopemphasizes interdisciplinarity with ...
详细信息
ISBN:
(数字)9783540482864
ISBN:
(纸本)9783540576013
This volume contains a selection of papers presented at the
third European Computer Aided Systems Theory workshop,
EUROCAST '93, held in Spain in February 1993. The workshop
emphasizes interdisciplinarity with the specificgoal of
creating a synergy between fields such as systems theory,
computer science, systems engineering and related areas. The
contributions in this volume are strongly related to current
problems in CAST research. They emphasize an engineering
point of view concerning systems theory. Since the computer
is an essential instrument in CAST research, there are close
relations to specific topics incomputer science. The papers
are grouped into parts on systems theory and systems
technology, specific methods, and applications.
暂无评论