249 search results - page 37 / 50 » Validating Architectural Feature Descriptions using LOTOS |
117
Voted
JUCS
2010
15 years 2 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 ...
147
Voted
DATE
1999
IEEE
15 years 8 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...
157
Voted
WSC
1997
15 years 5 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...
144
Voted
CC
2001
Springer
15 years 7 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...
133
Voted
IEAAIE
2010
Springer
15 years 1 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...