3040 search results - page 403 / 608 » Synergetic Tool Environments |
157
click to vote
HM
2009
Springer
15 years 10 months ago
2009
Springer
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
142
click to vote
IEAAIE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
163
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
143
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
148
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...