Sciweavers

1012 search results - page 159 / 203
» Communications Systems Driven by Software Agent Technology
Sort
View
145
Voted
MIDDLEWARE
2005
Springer
15 years 10 months ago
Context aware sensornet
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
Huaifeng Qin, Xingshe Zhou
MOBISYS
2007
ACM
16 years 4 months ago
SmartSiren: virus detection and alert for smartphones
Smartphones have recently become increasingly popular because they provide "all-in-one" convenience by integrating traditional mobile phones with handheld computing devi...
Jerry Cheng, Starsky H. Y. Wong, Hao Yang, Songwu ...
VRST
2009
ACM
15 years 9 months ago
Crime scene robot and sensor simulation
Virtual reality has been proposed as a training regime for a large number of tasks from surgery rehearsal (cf. [Robb et al. 1996], to combat simulation (cf. [U. S. Congress, Offi...
Robert Codd-Downey, Michael Jenkin
SIGSOFT
2010
ACM
15 years 2 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 6 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh