3742 search results - page 162 / 749 » On the Use of Formal Techniques for Validation |
152
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
177
click to vote
ACTA
2002
15 years 6 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
173
click to vote
AINA
2008
IEEE
16 years 28 days ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
166
click to vote
TC
2010
15 years 4 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
180
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...