3844 search results - page 310 / 769 » Modular interpreted systems |
152
click to vote
LOGCOM
1998
15 years 4 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
158
Voted
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
131
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
159
Voted
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
127
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...