2741 search results - page 382 / 549 » Engineering Mathematical Knowledge |
100
click to vote
SERA
2005
Springer
15 years 10 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
148
Voted
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
146
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
132
click to vote
PASTE
2004
ACM
15 years 10 months 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...
132
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...