Sciweavers

504 search results - page 49 / 101
» Definitional Reflection and the Completion
Sort
View
STAIRS
2008
112views Education» more  STAIRS 2008»
13 years 10 months ago
Unsupervised Web-based Automatic Annotation
The success of the Semantic Web depends both on the definition of ontologies used to represent the knowledge as on the annotations performed of the web contents. As manual approach...
Miquel Millan, David Sánchez, Antonio Moren...
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 8 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
JCP
2008
133views more  JCP 2008»
13 years 8 months ago
YAVISTA: A Graphical Tool for Comparing 802.11 Simulators
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
Ryad Ben-El-Kezadri, Farouk Kamoun
JUCS
2008
138views more  JUCS 2008»
13 years 8 months ago
A Lightweight and Extensible AspectJ Implementation
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
Rodolfo Toledo, Éric Tanter
JSW
2006
89views more  JSW 2006»
13 years 8 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...