3799 search results - page 400 / 760 » An Engineering Approach to Formal Methods |
198
click to vote
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
188
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
160
click to vote
ICCS
1997
Springer
15 years 11 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
217
click to vote
IJIS
2002
15 years 6 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
189
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...