1661 search results - page 180 / 333 » Real-time specification patterns |
105
click to vote
ECOOPW
1994
Springer
15 years 6 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...
114
Voted
IJIT
2004
15 years 3 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...
134
Voted
CORR
2010
Springer
2010
Springer
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
15 years 1 months ago
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
133
click to vote
CVPR
2010
IEEE
14 years 12 months ago
2010
IEEE
We consider the `group motion segmentation' problem and provide a solution for it. The group motion segmentation problem aims at analyzing motion trajectories of multiple obj...
153
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...