6794 search results - page 462 / 1359 » Semantics of Visual Languages |
157
click to vote
SP
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
194
click to vote
RULEML
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
152
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
197
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
208
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...