1032 search results - page 132 / 207 » Extended Computation Tree Logic |
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
ILP
2003
Springer
15 years 3 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are ï¬rmly established within Inductive Logic Programming (ILP). But despite their success...
FM
2001
Springer
15 years 2 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
MONET
2007
14 years 9 months ago
2007
— This paper proposes a service discovery protocol for sensor networks that is speciï¬cally tailored for use in humancentered pervasive environments. It uses the high-level conc...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...