3605 search results - page 571 / 721 » Analysis and Applications of the XDI model |
173
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
178
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
189
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
178
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
190
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...