4890 search results - page 823 / 978 » From system specifications to component behavioral models |
152
click to vote
CAV
1994
Springer
15 years 4 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
84
Voted
NIPS
2007
15 years 2 months ago
2007
Recent experimental studies have focused on the specialization of different neural structures for different types of instrumental behavior. Recent theoretical work has provided no...
106
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
125
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
114
Voted
WINET
2008
15 years 19 days ago
2008
One class of applications envisaged for the IEEE 802.15.4 LR-WPAN (low data rate - wireless personal area network) standard is wireless sensor networks for monitoring and control a...