10038 search results - page 641 / 2008 » Model Checking for Managers |
223
Voted
ISOLA
2010
Springer
15 years 5 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...
192
click to vote
FMCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
221
click to vote
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...
183
click to vote
ISCA
2005
IEEE
16 years 1 months ago
2005
IEEE
The importance of pushing the performance envelope of disk drives continues to grow, not just in the server market but also in numerous consumer electronics products. One of the m...
203
Voted
ACMICEC
2005
ACM
16 years 1 months ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...