249 search results - page 37 / 50 » Validating Architectural Feature Descriptions using LOTOS |
100
click to vote
JUCS
2010
14 years 11 months ago
2010
: Mobile phones have become the most hated device that people cannot live without. For its primary usage as a communication device, it has surpassed any other medium. But it comes ...
126
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
134
click to vote
WSC
1997
15 years 2 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
128
click to vote
CC
2001
Springer
15 years 5 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
112
click to vote
IEAAIE
2010
Springer
14 years 11 months ago
2010
Springer
This paper details the behavioral evaluation of a qualitative image categorisation and retrieval approach using semantic features of images. Content based image retrieval and class...