Sciweavers

17164 search results - page 3218 / 3433
» Applications of Sensor Networks
Sort
View
FORMATS
2008
Springer
15 years 6 months ago
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
Jirí Srba
INFOSCALE
2007
ACM
15 years 6 months ago
BUST: enabling scalable service orchestration
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
Dong Liu, Ralph Deters
ASAP
2010
IEEE
143views Hardware» more  ASAP 2010»
15 years 6 months ago
Loop transformations for interface-based hierarchies IN SDF graphs
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
Jonathan Piat, Shuvra S. Bhattacharyya, Mickaë...
AAAI
2010
15 years 6 months ago
Towards Multiagent Meta-level Control
Embedded systems consisting of collaborating agents capable of interacting with their environment are becoming ubiquitous. It is crucial for these systems to be able to adapt to t...
Shanjun Cheng, Anita Raja, Victor R. Lesser
AAAI
2010
15 years 6 months ago
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
Planning in dynamic continuous environments requires reasoning about nonlinear continuous effects, which previous Hierarchical Task Network (HTN) planners do not support. In this ...
Matthew Molineaux, Matthew Klenk, David W. Aha
« Prev « First page 3218 / 3433 Last » Next »