3081 search results - page 67 / 617 » A Formal Ontology of Properties |
148
click to vote
ISEMANTICS
2010
14 years 6 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
100
click to vote
JAIR
2006
14 years 12 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
114
click to vote
CCGRID
2006
IEEE
15 years 3 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...
FSTTCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...