Sciweavers

7918 search results - page 103 / 1584
» Model Composition Directives
Sort
View
SPIN
2001
Springer
15 years 6 months ago
Directed Explicit Model Checking with HSF-SPIN
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...
124
Voted
ICEIS
2000
IEEE
15 years 6 months ago
Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
Ana L. N. Fred, Joaquim Filipe
SC
1992
ACM
15 years 6 months ago
An Algebraic Theory for Modeling Direct Interconnection Networks
S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Je...
96
Voted
FGR
2004
IEEE
140views Biometrics» more  FGR 2004»
15 years 6 months ago
3D Model-Based Hand Tracking Using Stochastic Direct Search Method
John Y. Lin, Ying Wu, Thomas S. Huang
GRAPP
2007
15 years 3 months ago
Advanced direct manipulation of feature models
Rafael Bidarra, Alex Noort, Daniel Lourenço...