52 search results - page 8 / 11 » Constructive Protocol Specification Using Cicero |
RTS
2006
13 years 9 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
MOBIHOC
2007
ACM
14 years 9 months ago
2007
ACM
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....
FLAIRS
2010
13 years 10 months ago
2010
This paper discusses novel research conducted to study the direct impact of learner's affective changes on the value of a well established EEG-mental engagement index. An acq...
MICRO
2008
IEEE
13 years 9 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...