979 search results - page 151 / 196 » Automated Environment Generation for Software Model Checking |
101
click to vote
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
164
Voted
COMSIS
2010
15 years 5 hour ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
112
Voted
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
130
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
115
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...