882 search results - page 61 / 177 » Allowing State Changes in Specifications |
162
click to vote
AAAI
2004
15 years 7 months ago
2004
CAT's knowledge base contains abstract task or example "abstract flight reservation task," which can be included in a workflow as placeholders. CAT will gest that us...
142
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
Reducing power consumption is critical in many system designs. Dynamic power management is an effective approach to decrease power without significantly degrading performance. Pow...
171
click to vote
SFP
2004
15 years 7 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
184
click to vote
CJ
2010
15 years 3 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
184
click to vote
IOT
2010
15 years 4 months ago
2010
The increasing penetration of the real world with embedded and globally networked sensors leads to the formation of the Internet of Things, offering global online access to the cur...