Sciweavers

2672 search results - page 7 / 535
» Hybridizing Concept Languages
Sort
View
HYBRID
2010
Springer
14 years 2 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
IEEESCC
2007
IEEE
14 years 1 months ago
Exchanging Policies between Web Service Entities using Rule Languages
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...
ECOOPW
2008
Springer
13 years 9 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
HYBRID
2005
Springer
14 years 1 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
SIGPLAN
2008
13 years 7 months ago
Programming languages: fundamental concepts for expanding and disciplining the mind
In this white paper, we propose a list of essential concepts of programming languages, and discuss the techniques we have used to teach these concepts. Categories and Subject Desc...
Mitchell Wand, Daniel P. Friedman