2432 search results - page 116 / 487 » High-level approach to modeling of observed system behavior |
149
click to vote
CHI
2010
ACM
2010
ACM
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure
16 years 1 months ago
Current chasms between applications implemented with different user interface toolkits make it difficult to implement and explore potentially important interaction techniques in n...
145
click to vote
ECR
2002
15 years 6 months ago
2002
The understanding of consumer interaction with online EC Websites is one of the big current challenges for online marketers. The present paper investigates what drives and impedes...
167
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
168
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
181
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...