2455 search results - page 303 / 491 » Graphical abstract help |
175
click to vote
CCECE
2006
IEEE
15 years 10 months 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...
129
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
115
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
125
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
These notes have the status of letters written to ourselves: we wrote them down because, without doing so, we found ourselves making rguments over and over again. So began the abs...
144
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...