1329 search results - page 82 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
DMCS
2003
13 years 9 months ago
2003
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
ASE
2006
13 years 7 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—Energy is the most precious resource in wireless sensor networks. To ensure sustainable operations, wireless sensor systems need to harvest energy from environments. The...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Wireless communications are inherently symmetric; that is, it takes an attacker the same amount of power to modulate a signal as it does for a legitimate node to modulate the sa...