2487 search results - page 286 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...
133
click to vote
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
159
Voted
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
119
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
150
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...