4151 search results - page 492 / 831 » Language Driven System Design |
201
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
229
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
190
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Wikis are popular collaborative hypertext authoring environments, but they neither support structured access nor information reuse. Adding semantic annotations helps to address th...
209
click to vote
QSIC
2006
IEEE
16 years 1 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
217
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...