352 search results - page 51 / 71 » Model-Based Development: Combining Engineering Approaches an... |
124
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
113
click to vote
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...