1342 search results - page 156 / 269 » MEMS Design And Verification |
168
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Automatic facial expression recognition has gained much attention during the last decade because of its potential application in areas such as more engaging humancomputer interfac...
188
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
164
click to vote
CASCON
1996
15 years 7 months ago
1996
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
133
click to vote
FUIN
2007
15 years 6 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
148
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...