4397 search results - page 663 / 880 » Relational Algebra Operations |
134
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
116
Voted
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the implementation of a runtime library for asynchronous communication in the Cell BE processor. The runtime library implementation provides with several servi...
125
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
131
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
134
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...