579 search results - page 9 / 116 » Constraint Validation in Model Compilers |
ADC
2004
Springer
15 years 5 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
65
Voted
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...
VLSID
2002
IEEE
16 years 1 days ago
2002
IEEE
With the increased use of embedded/portable devices such as smart cellular phones, pagers, PDAs, hand-held computers, and CD players, improving energy efficiency is becoming a cri...
99
Voted
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...