57 search results - page 10 / 12 » Using Controller-Synthesis Techniques to Build Property-Enfo... |
133
Voted
TOG
2002
15 years 3 months ago
2002
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
135
Voted
JUCS
2008
15 years 3 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
166
Voted
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
124
click to vote
IJWIS
2006
15 years 3 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
136
Voted
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...