1864 search results - page 34 / 373 » Formal topology and domains |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
IC
2010
13 years 7 months ago
2010
Abstract-- `mDNS' - a hierarchical multicast session directory service architecture, which has been recently submitted to IETF editorial board for publication under Best Curre...
FLAIRS
2000
13 years 11 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
PUK
2000
13 years 11 months ago
2000
Abstract. In the stream of research that aims to speed up practical planners, we propose a new approach to task planning based on Probabilistic Roadmap Methods (PRM). Our contribut...
IMR
1998
Springer
14 years 2 months ago
1998
Springer
High reynolds number ow simulations exhibit strong gradients normal to walls and across shear layers requiring much ner resolution of the solution in some directions compared to o...