9842 search results - page 381 / 1969 » Compositional timing analysis |
143
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
131
click to vote
IEEEARES
2010
IEEE
15 years 12 months ago
2010
IEEE
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
156
click to vote
AOSD
2010
ACM
15 years 12 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
126
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
147
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...