3801 search results - page 461 / 761 » An Approach to Modeling Software Safety |
204
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...
185
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
168
Voted
PASTE
2004
ACM
16 years 3 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
184
click to vote
PPPJ
2004
ACM
16 years 3 days ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
162
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...