7366 search results - page 38 / 1474 » Development of the Information Systems Implementation Resear... |
162
Voted
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
125
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
129
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
131
Voted
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
117
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Agile method proponents believe that organizational culture has an effect on the extent to which an agile method is used. Research into the relationship between organizational cul...