29147 search results - page 5446 / 5830 » System Modeling Resurrected |
186
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
160
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
195
click to vote
DIGITALCITIES
2000
Springer
15 years 11 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
166
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
204
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...