3154 search results - page 595 / 631 » An annotation based approach to support design communication |
ICAIL
2009
ACM
15 years 4 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
WCW
2004
Springer
15 years 3 months ago
2004
Springer
Internet overlay services must adapt to the substrate network topology and link properties to achieve high performance. A common overlay structure management layer is desirable fo...
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
CGF
2010
14 years 10 months ago
2010
Kinematics is the analysis of motions without regarding forces or inertial effects, with the purpose of understanding joint behaviour. Kinematic data of linked joints, for example...