2253 search results - page 430 / 451 » An Approach to Specifying Software Frameworks |
141
Voted
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
151
Voted
AISC
1998
Springer
15 years 7 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
108
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
117
click to vote
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
145
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...