7380 search results - page 789 / 1476 » Engineering Software Intensive Systems |
208
click to vote
TACS
2001
Springer
15 years 12 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
203
click to vote
CODES
2000
IEEE
15 years 12 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
208
click to vote
KBSE
2000
IEEE
15 years 12 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
194
click to vote
KBSE
2000
IEEE
15 years 12 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
173
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...