878 search results - page 152 / 176 » Interacting Abstract State Machines |
145
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
152
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
126
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...
121
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
Little research exists on one of the most common, oldest, and most utilized forms of online social geographic information: the “location” field found in most virtual community...
212
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...