34181 search results - page 6775 / 6837 » Computer system |
194
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
175
click to vote
IMC
2007
ACM
15 years 7 months ago
2007
ACM
We address the problem of calculating link loss rates from end-to-end measurements. Contrary to existing works that use only the average end-to-end loss rates or strict temporal c...
189
click to vote
AGI
2008
15 years 7 months ago
2008
Human brain is exceptionally complex and simple at the same time. Its extremely composite biological structure results itself in human everyday behavior that many people might cons...
203
click to vote
CLA
2007
15 years 7 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
194
click to vote
EDM
2010
15 years 7 months ago
2010
It is argued that the analysis of the learner's generated log files during interactions with a learning environment is necessary to produce interpretative views of their activ...