5515 search results - page 1040 / 1103 » Software architecture: a roadmap |
151
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
183
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
With the growing needs of information sharing and exchange, MHEG-6(Multimedia Hypermedia information coding Expert Group - part 6) standard is defined so as to provide the interna...
176
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
215
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...
150
click to vote
TIC
1998
Springer
15 years 10 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...