381 search results - page 69 / 77 » Interactive Exploration of Semantic Clusters |
225
Voted
CCECE
2006
IEEE
16 years 24 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
197
Voted
IEEEARES
2006
IEEE
16 years 23 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
203
Voted
IUI
2005
ACM
16 years 8 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
159
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
203
Voted
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...