1269 search results - page 208 / 254 » Pi-Calculus in Logical Form |
DAC
2007
ACM
14 years 19 days ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
FOAL
2007
ACM
14 years 18 days ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
BROADNETS
2004
IEEE
14 years 14 days ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
CAISE
2006
Springer
14 years 13 days ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...