1346 search results - page 182 / 270 » Alternating-time dynamic logic |
140
click to vote
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
147
click to vote
IAT
2007
IEEE
16 years 14 days ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
166
click to vote
IEEESCC
2007
IEEE
16 years 13 days ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...
144
click to vote
ISMVL
2007
IEEE
16 years 12 days ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
158
click to vote
PDP
2007
IEEE
16 years 12 days ago
2007
IEEE
The paper addresses the challenges and opportunities of instrumenting pervasive computing systems with a logical clock, aware of the quality of synchronization with respect to a t...