5525 search results - page 793 / 1105 » Verification of Model Transformations |
167
Voted
IUI
2003
ACM
16 years 1 days ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
170
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
154
click to vote
BPM
2003
Springer
16 years 21 hour ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
170
click to vote
GCC
2003
Springer
16 years 8 hour ago
2003
Springer
Grid computing is used to realize the connection of distributed, heterogeneous computing resources through grid, assist in accomplishing computing task. Focusing on the weakness of...
170
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...