3432 search results - page 441 / 687 » Model Development in the UML-based Specification Environment... |
166
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
167
click to vote
RTCSA
1995
IEEE
15 years 10 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
217
click to vote
ICS
2007
Tsinghua U.
16 years 25 days ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
178
click to vote
ECIS
2004
15 years 8 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
199
click to vote
CI
2004
15 years 6 months ago
2004
Most of the research inthe area of expert finding focuses on creating and maintaining centralized directories of experts' profiles, which users can search on demand. However, ...