790 search results - page 144 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
137
Voted
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
127
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
118
click to vote
CEEMAS
2005
Springer
15 years 7 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
218
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
130
Voted
BIODATAMINING
2008
15 years 2 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...