4335 search results - page 500 / 867 » Ontology Engineering Relationally |
173
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
170
click to vote
DMSN
2004
ACM
16 years 7 days ago
2004
ACM
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
168
click to vote
ADAEUROPE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
152
click to vote
EWSA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
193
click to vote
HSNMC
2004
Springer
16 years 5 days ago
2004
Springer
Multiprotocol Label Switching (MPLS) is emerging as a flexible technology that can transport voice, IPv4, IPv6, layer 2 services (Frame Relay, ATM, Ethernet, etc.), and even PDH an...