Sciweavers

1893 search results - page 175 / 379
» Computational composites
Sort
View
APSEC
2008
IEEE
15 years 7 months ago
Domain Specific Engineering Environments
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
Jacky Estublier, Germán Vega, Philippe Lala...
NCA
2010
IEEE
14 years 7 months ago
Composable continuous-space programs for robotic swarms
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
Jonathan Bachrach, Jacob Beal, James McLurkin
100
Voted
AMAST
2008
Springer
15 years 2 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci
68
Voted
SIGUCCS
2000
ACM
15 years 4 months ago
Strategic Partnerships for Managing Labs
At Iowa State University, the Office of Academic Information Technologies, the English Department, and the Department of Residence have developed a strategic alliance to plan and ...
Linda J. Hutchison, Dennis J. Engholm
DLT
2008
15 years 2 months ago
Extended Multi Bottom-Up Tree Transducers
Extended multi bottom-up tree transducers are de ned and investigated. They are an extension of multi bottom-up tree transducers by arbitrary, not just shallow, left-hand sides of ...
Joost Engelfriet, Eric Lilin, Andreas Maletti