Sciweavers

8450 search results - page 1310 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
123
Voted
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
CAI
2006
Springer
15 years 6 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
CGF
2006
89views more  CGF 2006»
15 years 6 months ago
Sweep-based Freeform Deformations
We propose a sweep-based approach to the freeform deformation of three-dimensional objects. Instead of using a volume enclosing the whole object, we approximate only its deformabl...
Seung-Hyun Yoon, Myung-Soo Kim
DEBU
2006
82views more  DEBU 2006»
15 years 6 months ago
Structured Queries Over Web Text
The Web contains a vast amount of text that can only be queried using simple keywords-in, documentsout search queries. But Web text often contains structured elements, such as hot...
Michael J. Cafarella, Oren Etzioni, Dan Suciu
272
Voted
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
« Prev « First page 1310 / 1690 Last » Next »