Sciweavers

13717 search results - page 2178 / 2744
» Control Systems
Sort
View
CAD
2008
Springer
15 years 7 months ago
Approximate computation of curves on B-spline surfaces
Curves on surfaces play an important role in computer-aided geometric design. Because of the considerably high degree of exact curves on surfaces, approximation algorithms are pre...
Yi-Jun Yang, Song Cao, Jun-Hai Yong, Hui Zhang, Je...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 7 months ago
Assessing Cognitive Load on Web Search Tasks
: Assessing cognitive load on web search is useful for characterizing search system features and search tasks with respect to their demands on the searcher's mental effort. It...
Jacek Gwizdka
ENTCS
2010
99views more  ENTCS 2010»
15 years 7 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
IEE
2008
91views more  IEE 2008»
15 years 7 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...
ENTCS
2006
146views more  ENTCS 2006»
15 years 7 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 2178 / 2744 Last » Next »