743 search results - page 69 / 149 » Evaluating UMl Extensions for Modeling Real-Time Systems |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
JOT
2010
13 years 6 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
SSD
1999
Springer
13 years 12 months ago
1999
Springer
There is an increasing need to integrate spatial index structures into commercial database management systems. In geographic information systems (GIS), huge amounts of information ...