Sciweavers

3052 search results - page 121 / 611
» Weakly Distributive Domains
Sort
View
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
15 years 10 months ago
Pseudorandom functional BIST for linear and nonlinear MEMS
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
Achraf Dhayni, Salvador Mir, Libor Rufer, Ahc&egra...
CALCO
2005
Springer
126views Mathematics» more  CALCO 2005»
15 years 9 months ago
Context-Free Languages via Coalgebraic Trace Semantics
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
Ichiro Hasuo, Bart Jacobs
CASSIS
2004
Springer
15 years 9 months ago
Modelling Mobility Aspects of Security Policies
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, R...
ITICSE
1999
ACM
15 years 8 months ago
Assessing object-oriented technology skills using an Internet-based system
In this paper, we describe a Web-based system that defines training needs for object-oriented developers by identifying the strong and the weak areas of their knowledge and skills...
Ahmed Seffah, Moncef Bari, Michel Desmarais
RE
1999
Springer
15 years 8 months ago
Generating User Interface Prototypes from Scenarios
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...