Sciweavers

2722 search results - page 238 / 545
» Automating Language Evolution
Sort
View
POPL
2001
ACM
16 years 5 months ago
Secure safe ambients
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
Michele Bugliesi, Giuseppe Castagna
GECCO
2007
Springer
187views Optimization» more  GECCO 2007»
15 years 11 months ago
Agent-environment interaction in a multi-agent system: a formal model
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
Gemma Bel Enguix, Maria Dolores Jiménez-L&o...
ECOOP
2004
Springer
15 years 10 months ago
Parametric Aspects: A Proposal
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
Jordi Alvarez Canal
CSMR
2004
IEEE
15 years 8 months ago
Experimental Results on the Alignment of Multilingual Web Sites
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...
Filippo Ricca, Paolo Tonella, Emanuele Pianta, Chr...
DOCENG
2005
ACM
15 years 6 months ago
Towards active web clients
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
Vincent Quint, Irène Vatton