3706 search results - page 85 / 742 » KtSeqC: System Description |
145
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
216
click to vote
FROCOS
2009
Springer
16 years 29 days ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
152
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
158
click to vote
CLUSTER
2006
IEEE
16 years 13 days ago
2006
IEEE
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
153
click to vote
WECWIS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...