2050 search results - page 29 / 410 » A formal foundation for process modeling |
DAGSTUHL
2006
14 years 11 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
ISMB
1993
14 years 10 months ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
90
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
86
Voted
IWFM
1998
14 years 11 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
106
click to vote
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...