5630 search results - page 369 / 1126 » Computability in Specification |
150
click to vote
SG
2007
Springer
16 years 1 months ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...
167
click to vote
ESCIENCE
2006
IEEE
16 years 29 days ago
2006
IEEE
The ability to dynamically create and subsequently manage secure virtual organisations (VO) is one of the key challenges facing the Grid community. Existing approaches for establi...
156
click to vote
ISESE
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
210
click to vote
RSP
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
203
click to vote
ESCIENCE
2005
IEEE
16 years 15 days ago
2005
IEEE
As Web Services have matured they have been substantially leveraged within the academic, research and business communities. An exemplar of this is the realignment, last year, of t...