Sciweavers

1742 search results - page 61 / 349
» An Applicative Module Calculus
Sort
View
APCCAS
2002
IEEE
111views Hardware» more  APCCAS 2002»
14 years 3 months ago
Low-voltage high-speed PWM signal generations based on relaxation oscillator
This paper new two simple PWM (Pulse Width Modulation) signal generations based on modified relaxation oscillator are introduced. Their advantages of the proposed principle are th...
Montree Siripruchyanun, Paramote Wardkein
CSREASAM
2006
13 years 11 months ago
Flexible Cryptographic Component Design for Secure Web Applications
- Although Internet serves many contents and services, it has serious problems of security: the invasion of privacy, hacking and etc. To prevent these problems, two implementations...
Tae Ho Kim, Jong Jin Kim, Chang Hoon Kim, Chun Pyo...
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl
IFIP
2009
Springer
14 years 4 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
JFP
2000
91views more  JFP 2000»
13 years 10 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren