2446 search results - page 141 / 490 » Principles of dataspace systems |
108
click to vote
ISSA
2004
15 years 2 months ago
2004
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...
143
click to vote
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
121
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
112
Voted
IPSN
2005
Springer
15 years 6 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...
ECIS
2003
15 years 2 months ago
2003
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...