3032 search results - page 434 / 607 » Description Logic Rules |
141
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
69
Voted
FLAIRS
2007
15 years 3 months ago
2007
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
118
Voted
MKWI
2008
15 years 2 months ago
2008
: Documenting and maintaining an enterprise-wide service-oriented architecture (SOA) causes a substantial management effort which should be addressed by intelligent, scalable solut...
94
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
71
Voted
WSC
2001
15 years 2 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...