1583 search results - page 213 / 317 » Engineering Executable Agents using Multi-context Systems |
ICSE
2009
IEEE-ACM
14 years 11 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...
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
ICSEA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
CGO
2003
IEEE
14 years 3 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...