3799 search results - page 213 / 760 » An Engineering Approach to Formal Methods |
131
Voted
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Most currently used e-Learning Systems do not often offer search functionality. Even if methods are provided to search for Learning Objects (LOs), they don’t usually utilize info...
129
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. Platform-ba...
123
Voted
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Software developers are constantly required to modify and adapt application features in response to changing requirements. The problem is that just by reading the source code, it ...
140
click to vote
DAGSTUHL
2010
15 years 6 months ago
2010
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
147
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...