12774 search results - page 189 / 2555 » A Framework for Proof Systems |
128
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Huge energy consumption has become a critical bottleneck for further applying large-scale cluster systems to build new data centers. Among various components of a data center, sto...
148
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: In this paper we describe an approach that enables the detection, tracking and fine analysis (classification of gender and facial expression) of faces using a single web camera. ...
157
click to vote
JOT
2008
15 years 4 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
145
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
125
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...