1397 search results - page 137 / 280 » On the Need for Practical Formal Methods |
129
click to vote
JAIR
2007
15 years 4 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
133
click to vote
AGILEDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Team politics complicate software projects. They cause internal conflicts that can not only cost a software team time and money, but may also detract from the needs of the prod...
159
click to vote
C3S2E
2010
ACM
15 years 5 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
164
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
136
click to vote
COMCOM
2007
15 years 4 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...