Sciweavers

4615 search results - page 412 / 923
» Complex networks as control paradigm for complex systems
Sort
View
MOBISYS
2008
ACM
15 years 9 months ago
Lightweight module isolation for sensor nodes
There is an increasing tendency in sensor networks (and related networked embedded systems) to push more complexity and `intelligence' into end-nodes. This in turn leads to a ...
Nirmal Weerasinghe, Geoff Coulson
COMJ
2010
15 years 4 months ago
JackTrip/SoundWIRE Meets Server Farm
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...
Juan Pablo Cáceres, Chris Chafe
222
Voted
XMLSEC
2003
ACM
16 years 3 days ago
Access control of XML documents considering update operations
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...
Chung-Hwan Lim, Seog Park, Sang Hyuk Son
HASE
2005
IEEE
16 years 14 days ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
16 years 14 days ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao