4742 search results - page 657 / 949 » The Information Technology Model Curriculum |
171
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
205
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Topological self-stabilization is an important concept to build robust open distributed systems (such as peer-to-peer systems) where nodes can organize themselves into meaningful n...
106
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a general framework to study sequences of search activities performed by a user. Our framework provides (i) a vocabulary to discuss types of features, mod...
225
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents an algorithm for distributed power control and scheduling over wireless ad hoc-networks, where the data rate on each link depends on the transmission power ...
157
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...