675 search results - page 68 / 135 » Generating Business Process Models from Object Behavior Mode... |
117
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
175
click to vote
FIRBPERF
2005
IEEE
15 years 7 months ago
2005
IEEE
Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within site...
144
click to vote
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
114
click to vote
CIDR
2009
15 years 2 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...