Sciweavers

2625 search results - page 164 / 525
» The development of the Emerald programming language
Sort
View
COMPSAC
2002
IEEE
15 years 9 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
GPCE
2003
Springer
15 years 9 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
JUCS
2008
186views more  JUCS 2008»
15 years 4 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 10 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
ACE
2003
80views Education» more  ACE 2003»
15 years 5 months ago
Natural Language Processing in the Undergraduate Curriculum
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...
Robert Dale, Diego Mollá Aliod, Rolf Schwit...