4469 search results - page 89 / 894 » A Language for Role Specifications |
125
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
125
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
Textual query languages based on Boolean logic are common amongst the search facilities of on-line information repositories. However, there is evidence to suggest that the syntact...
131
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Information technologies (IT) have spread throughout all areas of modern society. However, the evolution of ethics that guide their use lags behind technological advances [2]. A p...
131
click to vote
HUMAN
2003
Springer
15 years 9 months ago
2003
Springer
The fact that information and communication technology (ICT) has a significant impact on industries and single organizations is an already established and well researched issue. Ma...
151
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...