Sciweavers

517 search results - page 42 / 104
» On the Intended Interpretations of Actions
Sort
View
IWIA
2006
IEEE
15 years 4 months ago
High Robustness Requirements in a Common Criteria Protection Profile
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvin...
IJCNLP
2005
Springer
15 years 4 months ago
Improving Korean Speech Acts Analysis by Using Shrinkage and Discourse Stack
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
Kyungsun Kim, Youngjoong Ko, Jungyun Seo
APSEC
2002
IEEE
15 years 3 months ago
Symbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan ...
142
Voted
SAIG
2001
Springer
15 years 3 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand
83
Voted
ICEIS
1999
IEEE
15 years 3 months ago
Facilitating Organisational Activities Using Plans and Audits
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
Carlos J. Costa, Tania Ho, Pedro Antunes