2607 search results - page 31 / 522 » On the Architecture of System Verification Environments |
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...
FUIN
2006
13 years 7 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
CACM
2010
13 years 7 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
APN
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
MIDDLEWARE
2005
Springer
14 years 27 days ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...