3724 search results - page 466 / 745 » Timed regular expressions |
172
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
254
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...
156
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
148
click to vote
CAISE
2004
Springer
16 years 2 days ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
156
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...