Sciweavers

1699 search results - page 216 / 340
» A timed semantics of Orc
Sort
View
AVI
2008
13 years 10 months ago
Visualizing antenna design spaces
This paper describes a long-term project exploring advanced visual interfaces for antenna design. MERL developed three successive prototypes that embodied an evolution towards lar...
Kent Wittenburg, Tom Lanning, Darren Leigh, Kathy ...
AOSD
2008
ACM
13 years 10 months ago
Expressive scoping of dynamically-deployed aspects
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
Éric Tanter
AIED
2005
Springer
13 years 10 months ago
A Knowledge Acquisition System for Constraint-based Intelligent Tutoring Systems
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
ASPDAC
2005
ACM
153views Hardware» more  ASPDAC 2005»
13 years 10 months ago
Design of clocked circuits using UML
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu, Santhosh ...
CMSB
2008
Springer
13 years 9 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin