8828 search results - page 1540 / 1766 » Formal methods in practice |
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A real world challenging task of the web master of an organization is to match the needs of user and keep their attention in their web site. So, only option is to capture the intu...
104
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...
168
click to vote
ALIFE
2006
15 years 4 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...