4957 search results - page 602 / 992 » Simplifying Distributed System Development |
116
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
CHI
2005
ACM
16 years 5 months ago
2005
ACM
This paper describes cell phone text messaging during the 2004 US Democratic and Republican National Conventions by protesters using TXTmob ? a text-message broadcast system devel...
157
Voted
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we analyze the role of the social group in a Ubiquitous Computing (Ubicomp) environment as a source of contextual information. A model is presented to address the s...
117
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
166
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...