3979 search results - page 377 / 796 » Wild control operators |
155
Voted
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
208
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
168
Voted
WSC
2007
15 years 9 months ago
2007
This paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discreteevent systems; entities, resour...
204
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Applications of sensor networks have become an emerging technology which can monitor a specific area and collect environmental data around the district. The energy of sensor nodes ...
208
click to vote
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: Economical power use is essential to allow for long-lasting operation of wireless sensor networks. This applies equally to linear sensor networks as they emerge when sensors are ...