Sciweavers

4476 search results - page 745 / 896
» A flexible framework for engineering
Sort
View
ESWS
2005
Springer
15 years 12 months ago
Monitoring Research Collaborations Using Semantic Web Technologies
In the current research environment, funding agencies are increasingly required to demonstrate that the projects they fund represent value for money. When funds are disbursed in a ...
Harith Alani, Nicholas Gibbins, Hugh Glaser, Steph...
FOSSACS
2005
Springer
15 years 12 months ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
ICWE
2005
Springer
15 years 12 months ago
A Model-Based Approach for Integrating Third Party Systems with Web Applications
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...
Nathalie Moreno, Antonio Vallecillo
LCTRTS
2005
Springer
15 years 12 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
SEKE
2005
Springer
15 years 12 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu