1091 search results - page 149 / 219 » The State of Cognitive Systems Engineering |
AADEBUG
2005
Springer
14 years 2 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The Semantic Desktop is a means to support users in Personal Information Management (PIM). It provides an excellent test bed for Semantic Web technology: resources (e. g....
ICFP
2007
ACM
14 years 24 days ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...