Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,321 papers from all fields of science
Search
Sign In
Create Free Account
Secure Operations Language
Known as:
Secure Operations Language (SOL)
, Sol
The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and Utah State University in the United…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Domain-specific language
Electronic Notes in Theoretical Computer Science
List of programming languages
Programming language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
SOL - Secure Operations Language
Yuri Lewash
2013
Corpus ID: 67057067
2009
2009
A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems
Manuel Peralta
,
Supratik Mukhpadhyay
,
Ramesh Bharadwaj
2009
Corpus ID: 62467370
We present a formal framework for developing distributed service-oriented systems in an event-driven secure synchronous…
Expand
2008
2008
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems
Ramesh Bharadwaj
,
S. Mukhopadhyay
32nd Annual IEEE International Computer Software…
2008
Corpus ID: 8045160
In this paper, we present a formal framework for developing distributed service-oriented systems in an event-driven secure…
Expand
2007
2007
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems
Ramesh Bharadwaj
,
S. Mukhopadhyay
Future Trends of Distributed Computer Systems
2007
Corpus ID: 18129831
We present SOLj (Secure Operations Language-Java), an event-driven domain-specific synchronous programming extension of Java for…
Expand
2007
2007
uSOL: A programming language for sensor networks
Ramesh Bharadwaj
,
A. Biswas
,
J. James
,
S. Mukhopadhyay
Midwest Symposium on Circuits and Systems
2007
Corpus ID: 33883505
We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely…
Expand
2005
2005
Specification, analysis and implementation of architectural patterns for dependable software systems
S. Yau
,
S. Mukhopadhyay
,
Ramesh Bharadwaj
Words
2005
Corpus ID: 1920450
Ensuring dependability of distributed applications is a difficult problem since developers must carefully consider issues such as…
Expand
2005
2005
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems
R. Jeffords
,
Ramesh Bharadwaj
Proceedings. Second ACM and IEEE International…
2005
Corpus ID: 211691
Building robust, secure distributed systems in the presence of transient faults, node failures, and changes in network topology…
Expand
2003
2003
Secure middleware for situation-aware naval C/sup 2/ and combat systems
Ramesh Bharadwaj
The Ninth IEEE Workshop on Future Trends of…
2003
Corpus ID: 7653204
There is an increasing need within the Navy & Marine Corps for building distributed situation-aware applications that are rapidly…
Expand
2003
2003
A Framework for the Formal Analysis of Multi-Agent Systems
Ramesh Bharadwaj
2003
Corpus ID: 31123174
Abstract : In this paper we present an integrated formal framework for the specification and analysis of Multi-Agent Systems (MAS…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE