Sciweavers

1949 search results - page 325 / 390
» Protective Interface Specifications
Sort
View
TSMC
2008
192views more  TSMC 2008»
13 years 9 months ago
AIDOA: An Adaptive and Energy-Conserving Indexing Method for On-Demand Data Broadcasting Systems
Since only a modest improvement in battery lifetime is expected in the next few years, energy conservation is raised as a key factor of the design of mobile devices. In view of th...
Jiun-Long Huang
CAD
2004
Springer
13 years 9 months ago
Multiple-view feature modelling for integral product development
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
Willem F. Bronsvoort, Alex Noort
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 9 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CSL
2004
Springer
13 years 9 months ago
HyperLex: lexical cartography for information retrieval
This article describes an algorithm called HyperLex that is capable of automatically determining word uses in a textbase without recourse to a dictionary. The algorithm makes use ...
Jean Véronis
CSSE
2004
IEEE
13 years 9 months ago
A comparison of modeling strategies in defining XML-based access control languages
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
Claudio Agostino Ardagna, Sabrina De Capitani di V...