8337 search results - page 75 / 1668 » Reasoning With Characteristic Models |
151
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
135
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
144
click to vote
IJISEC
2006
15 years 4 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
135
click to vote
HPCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
147
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...