307 search results - page 50 / 62 » Towards Integrated Verification of Timed Transition Models |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Current business conditions have given rise to distributed teams that are mostly collocated except for one remote member. These “hub-and-satellite” teams face the challenge of...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
FORMATS
2006
Springer
14 years 4 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
OOPSLA
2001
Springer
14 years 27 days ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...