1252 search results - page 75 / 251 » Complex Systems and Agent-Oriented Software Engineering |
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
STTT
2008
13 years 10 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...