4036 search results - page 208 / 808 » Formal Methods |
168
click to vote
BIBE
2006
IEEE
16 years 16 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
242
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
182
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
154
click to vote
IJCAI
2003
15 years 7 months ago
2003
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. CP-nets were designed to make the preference elicitation proces...