1782 search results - page 299 / 357 » Tool Support for Proof Engineering |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
KCAP
2003
ACM
14 years 2 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
GPCE
2009
Springer
14 years 1 months ago
2009
Springer
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
AFRIGRAPH
2001
ACM
14 years 12 days ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
Web services are designed to standardize interactions between heterogeneous applications using Internet technologies. Within the framework of Internet search technologies, Web ser...