1121 search results - page 166 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
104
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
101
click to vote
CI
1999
14 years 11 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
135
click to vote
IS
2012
13 years 7 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
TAAS
2010
14 years 6 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
IJRR
2010
14 years 10 months ago
2010
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...