8083 search results - page 1425 / 1617 » A Formalization of Software Architecture |
215
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
181
click to vote
IPSN
2007
Springer
16 years 22 days ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
216
click to vote
ECRTS
2006
IEEE
16 years 19 days ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
197
click to vote
IWCMC
2006
ACM
16 years 16 days ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
181
click to vote
SIGMETRICS
2006
ACM
16 years 16 days ago
2006
ACM
This work analyzes the connectivity of large diameter networks where every link has an independent probability p of failure. We give a (relatively simple) topological condition th...