46084 search results - page 337 / 9217 » Developments in WIS development |
167
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
177
click to vote
GPCE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
167
Voted
PSD
2004
Springer
16 years 3 days ago
2004
Springer
The development of new disclosure protection techniques is useful only insofar as those techniques are adopted by statistical agencies. In order for technical experts in disclosure...
296
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
182
click to vote
ELPUB
1999
ACM
15 years 11 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...