4469 search results - page 466 / 894 » A Language for Role Specifications |
199
click to vote
MBEES
2010
15 years 8 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
237
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development ...
173
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present a new method of baseline detection of online or offline short handwriting. This work is part of a large project for the edification of a dual online / off...
170
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...
170
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...