2933 search results - page 321 / 587 » Agent-Grid Integration Language |
139
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
117
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Querying non-conventional data is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to qu...
134
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
112
Voted
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
145
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...