611 search results - page 59 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
146
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
135
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
137
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
125
Voted
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
112
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...