1153 search results - page 36 / 231 » Compositional Specification Calculus for Information Systems... |
149
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
145
Voted
ASE
2006
15 years 3 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
124
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
127
Voted
ICEIS
2000
IEEE
15 years 8 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
147
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...