Sciweavers

2195 search results - page 221 / 439
» Functionally Distributed Control Architecture for Robot Syst...
Sort
View
ATAL
2009
Springer
15 years 10 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
123
Voted
ECOWS
2007
Springer
15 years 10 months ago
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
Hervé Verjus, Frédéric Pourra...
COMSWARE
2007
IEEE
15 years 10 months ago
Software Architecture for Dynamic Thermal Management in Datacenters
Abstract— Minimizing the energy cost and improving thermal performance of power-limited datacenters, deploying large computing clusters, are the key issues towards optimizing the...
Tridib Mukherjee, Qinghui Tang, Corbett Ziesman, S...
153
Voted
ICSOC
2004
Springer
15 years 9 months ago
Implementing integrated services of networked home appliances using service oriented architecture
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...
Masahide Nakamura, Hiroshi Igaki, Haruaki Tamada, ...
117
Voted
ISCC
2000
IEEE
100views Communications» more  ISCC 2000»
15 years 8 months ago
FATIMA: A Firewall-Aware Transparent Internet Mobility Architecture
Ubiquitous communication will be one of the paradigms for the next decades. The use of the Internet in such applications demands for a highly reliable and secure system, especiall...
Stefan Mink, Frank Pählke, Günter Sch&au...