4356 search results - page 721 / 872 » Communicating Transactions - (Extended Abstract) |
153
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
144
click to vote
DAWAK
2000
Springer
15 years 10 months ago
2000
Springer
Abstract The application of data mining algorithms needs a goal-oriented preprocessing of the data. In practical applications the preprocessing task is very time consuming and has ...
164
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
136
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
170
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Design systems to provide various quality of service (QoS) guarantees has received a lot of attentions due to the increasing popularity of real-time multimedia and wireless commun...