3689 search results - page 307 / 738 » A Language with Distributed Scope |
114
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
146
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
142
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
127
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
159
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...