2842 search results - page 459 / 569 » The Learn@WU Learning Environment |
128
click to vote
AWIC
2003
Springer
15 years 9 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...
128
click to vote
CPE
2003
Springer
15 years 9 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
137
click to vote
CSEE
2003
Springer
15 years 9 months ago
2003
Springer
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...
155
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
135
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...