4460 search results - page 583 / 892 » Resources in process algebra |
192
click to vote
ESAW
2004
Springer
16 years 1 days ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
152
click to vote
FMCAD
2004
Springer
16 years 1 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
182
click to vote
ISW
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
232
click to vote
NLDB
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
166
click to vote
PDCAT
2004
Springer
16 years 15 hour ago
2004
Springer
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...